Ordered vector space